On C-maximality
نویسندگان
چکیده
This paper investigates a connection between the semantic notion provided by the ordering C∗ among theories in model theory and the syntactic (N)SOPn hierarchy of Shelah. It introduces two properties which are natural extensions of this hierarchy, called SOP2 and SOP1. It is shown here that SOP3 implies SOP2 implies SOP1. In [Sh 500] it was shown that SOP3 implies C ∗-maximality and we prove here that C∗-maximality in a model of GCH implies a property called SOP′′ 2. It has been subsequently shown by Shelah and Usvyatsov that SOP′′ 2 and SOP2 are equivalent, so obtaining an implication between C∗-maximality and SOP2. It is not known if SOP2 and SOP3 are equivalent.
منابع مشابه
On certain maximality principles
We present streamlined proofs of certain maximality principles studied by Hamkins and Woodin. Moreover, we formulate an intermediate maximality principle, which is shown here to be equiconsistent with the existence of a weakly compact cardinal $kappa$ such that $V_{kappa}prec V$.
متن کاملThe Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
The Necessary Maximality Principle for c.c.c. forcing with real parameters is equiconsistent with the existence of a weakly compact cardinal. The Necessary Maximality Principle for c.c.c. forcing, denoted 2mpccc(R), asserts that any statement about a real in a c.c.c. extension that could become true in a further c.c.c. extension and remain true in all subsequent c.c.c. extensions, is already tr...
متن کاملThe Necessary Maximality Principle for c . c . c . forcing is equiconsistent with a weakly compact cardinal Joel
The Necessary Maximality Principle for c.c.c. forcing with real parameters is equiconsistent with the existence of a weakly compact cardinal. The Necessary Maximality Principle for c.c.c. forcing, denoted 2mpccc(R), asserts that any statement about a real in a c.c.c. extension that could become true in a further c.c.c. extension and remain true in all subsequent c.c.c. extensions, is already tr...
متن کاملMaximality of Monotone Operators in General Banach Space
We establish maximality of the sum of two maximal monotone operators in general Banach space, assuming only the Rockafellar qualification assumption.
متن کاملMaximality and Plurality
This paper investigates the notion of the maximality effect and its formal implementation. It will be shown that the maximal witness sets that an anaphor can access are sensitive to the plural readings of the anaphor’s antecedents. It will also be shown that the formal semantics of the maximality effect should not be implemented on the interpretation of either determiners or anaphors. Instead, ...
متن کامل